let _startDate;
let _defaultCssStylesheet = null;
let _cssStylesheet = null;
-let _gdmCssStylesheet = null;
let _overridesSettings = null;
let background = null;
global.stage.no_clear_hint = true;
_defaultCssStylesheet = global.datadir + '/theme/gnome-shell.css';
- _gdmCssStylesheet = global.datadir + '/theme/gdm.css';
loadTheme();
// Set up stage hierarchy to group all UI actors under one container.
let theme = new St.Theme ({ application_stylesheet: cssStylesheet });
- if (sessionMode.sessionType == Shell.SessionType.GDM)
- theme.load_stylesheet(_gdmCssStylesheet);
+ if (sessionMode.extraStylesheet)
+ theme.load_stylesheet(sessionMode.extraStylesheet);
if (previousTheme) {
let customStylesheets = previousTheme.get_custom_stylesheets();
hasRunDialog: false,
hasWorkspaces: false,
createSession: Main.createGDMSession,
+ extraStylesheet: global.datadir + '/theme/gdm.css',
sessionType: Shell.SessionType.GDM },
'user': { hasOverview: true,
hasRunDialog: true,
hasWorkspaces: true,
createSession: Main.createUserSession,
+ extraStylesheet: null,
sessionType: Shell.SessionType.USER }
};